461. Philosophical and mathematical logic /
پدیدآورنده: Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
462. Philosophical and mathematical logic /
پدیدآورنده: Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
463. Power Algebras over Semirings
پدیدآورنده: by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.
464. Practical Applications of Computational Intelligence Techniques
پدیدآورنده: edited by Lakhmi Jain, Philippe Wilde.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
465. Principles of logic and logic programming /
پدیدآورنده: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
466. Proceedings
پدیدآورنده: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
467. Proceedings
پدیدآورنده: / M.E. Stickel, (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
1990
468. Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
469. Proceedings :
پدیدآورنده: M.E. Stickel, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.,Logique symbolique et mathématique, Congrès.,Théorèmes-- Démonstration automatique, Congrès.,Automatic theorem proving.,Automatisches Beweisverfahren.,Inteligência artificial (conmputação),Logic, Symbolic and mathematical.,Kaiserslautern 1990, 7
رده :
QA76
.
9
.
A96
I57
1990
470. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
471. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems
رده :
QA
76
.
87
.
I3434a
472. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
473. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
474. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
475. Proof and computation
پدیدآورنده: edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
476. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده: Dowek, Gilles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
477. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده: Dowek, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
478. Proofs and algorithm
پدیدآورنده: / Gilles Dowek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Algorithms.
رده :
QA9
,.
D68
,
2011
479. Proofs and algorithms
پدیدآورنده: Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
480. Proofs and algorithms an introduction to logic and computability
پدیدآورنده: Dowek, Gilles., Gilles Dowek
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
76
.
P7
D6
2011
